1. Scalable Techniques for Formal Verification

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE

رده :
E-BOOK

2. Scalable Techniques for Formal Verification

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer systems -- Verification. ,Automatic theorem proving.,Formal methods (Computer science),سیستم‌های کامپیوتری -- راستی‌آزمایی ,روش‌های صوری (کامپیوتر)

رده :
E-Book
,

3. Scalable Techniques for Formal Verification

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer-aided design.,Engineering.,Systems engineering.

4. Scalable techniques for formal verification

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)